161. Logic programming
پدیدآورنده : / Veronica Dahl, Ilkka Niemel?n (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic programming--Congresses
رده :
QA
,
76
.
63
,
I55
,
2007
162. Managing complexity in software engineering /
پدیدآورنده : edited by R.J. Mitchell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming-- Management-- Congresses,Computer software-- Development-- Congresses
رده :
QA76
.
76
.
D47
163. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
164. Mathematical and engineering methods in computer science
پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
165. Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance
پدیدآورنده : / Jens B. Schmitt (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Telecommunication systems--Evaluation--Congresses,Computer systems--Evaluation--Congresses,Computer software--Evaluation--Congresses
رده :
TK5101
.
A1G54
2012
166. Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance
پدیدآورنده : / Bruno Meuller-Clostermann, Klaus Echtle, Erwin P. Rathgeb (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Telecommunication systems, Evaluation, Congresses,Computer networks, Evaluation, Congresses,Telecommunication, Traffic, Congresses
رده :
E-BOOK
167. Methods and tools of parallel programming multicomputers
پدیدآورنده : Ching-Hsien Hsu, Victor Malyshkin (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel programming (Computer science), Congresses
168. Middleware 2007
پدیدآورنده : / Renato Cerqueira, Roy H. Campbell (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Middleware--Congresses,Electronic data processing--Distributed processing--Congresses
رده :
QA
,
76
.
76
,.
M54
,
I33
,
2007
169. Middleware 2011 :
پدیدآورنده : Fabio Kon, Anne-Marie Kermarrec (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Middleware, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
M54
A26
2011
170. Model and data engineering :
پدیدآورنده : Alfredo Cuzzocrea, Sofian Maabout (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses,Database management, Congresses,Knowledge management, Congresses
رده :
QA76
.
9
.
D3
M44
2013
171. Model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
D3
172. Model and data engineering
پدیدآورنده : Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Database management, Congresses,Knowledge management, Congresses,Model-integrated computing, Congresses
رده :
QA76
.
76
.
D47
M43
2012eb
173. Model-based engineering of embedded real-time systems
پدیدآورنده : Holger Giese ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses
174. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
پدیدآورنده : Holger Giese ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
رده :
TK
7895
.
E42M624
2007
175. Model driven engineering languages and systems
پدیدآورنده : Andy Schürr, Bran Selic (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,UML (Computer science), Congresses
رده :
QA76
.
76
.
D47
M6258
2009eb
176. Model-driven engineering languages and systems :
پدیدآورنده : Ana Moreira [and 4 others] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses,Model-integrated computing, Congresses
رده :
QA76
.
76
.
D47
M63
2013
177. Modelling foundations and applications
پدیدآورنده : Antonio Vallecillo ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2012eb
178. Modelling foundations and applications
پدیدآورنده : Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2013
179. Modelling foundations and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; Congresses. ; Conception assist?e par ordinateur en g?nie logiciel ; Congr?s. ; ram-Computer software ; Development ; Congresses. ; Computer architecture ; Congresses. ; Software engineering ; Congresses. ; Object
180. Modelling foundations and applications :
پدیدآورنده : Robert B. France [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model-driven software architecture, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
E97
2011
